Formal languages - PDFSEARCH.IO - Document Search Engine

Formal languages
Results: 2429

#	Item
501	Perl versiondocumentation - TAP::Parser::Grammar NAME TAP::Parser::Grammar - A grammar for the Test Anything Protocol. VERSION Add to Reading List Source URL: perldoc.perl.org Language: English - Date: 2014-10-03 15:52:05 Formal languages Compiler construction Parsing Compiling tools Test Anything Protocol Extended Backus–Naur Form Lex Formal grammar Regular expression Programming language implementation Computing Software engineering
502	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: mirrors.dotsrc.org Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
503	A Lightweight Symbolic Virtual Machine for Solver-Aided Host Languages Emina Torlak Rastislav Bodik Add to Reading List Source URL: homes.cs.washington.edu Language: English - Date: 2014-08-13 19:26:58 Formal methods Abstract interpretation Symbolic execution Functional languages Models of computation Model checking Function Programming language Test Mathematics Theoretical computer science Computing
504	The Logic in Computer Science Column by Yuri Gurevich Microsoft Research One Microsoft Way, Redmond WA 98052, USA Add to Reading List Source URL: research.microsoft.com Language: English - Date: 2011-09-16 13:09:59 Models of computation Mathematics Computer science Combinatorics on words Finite state transducer Tree automaton Finite-state machine Alphabet Regular language Automata theory Formal languages Theoretical computer science
505	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.fyxm.net Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
506	Regularity Problems for Weak Pushdown ω-Automata and Games Extended VersionChristof L¨oding and Stefan Repke⋆ Lehrstuhl f¨ ur Informatik 7, RWTH Aachen, Germany Add to Reading List Source URL: www.automata.rwth-aachen.de Language: English - Date: 2012-09-03 08:07:06 Formal languages Computer science Deterministic pushdown automaton Ω-automaton Pushdown automaton Omega language Nondeterministic finite automaton Context-free language Regular language Automata theory Theoretical computer science Models of computation
507	The Yapps Parser Generator System http://theory.stanford.edu/˜amitp/Yapps/ Version 2 Amit J. Patel http://www-cs-students.stanford.edu/ amitp/ Introduction Add to Reading List Source URL: theory.stanford.edu Language: English - Date: 2002-08-09 18:50:20 Programming language implementation Formal languages Compiler construction Control flow Recursive descent parser LL parser Left recursion Attribute grammar Lookahead Software engineering Parsing Computing
508	Publication list of Marc Bezem Journal articles [1] M.A. Bezem. Isomorphisms between HEO and HROE , ECF and ICFE . Journal of Symbolic Logic 50:359–371, M.A. Bezem. Strongly majorizable functionals of finite Add to Reading List Source URL: www.ii.uib.no Language: English - Date: 2013-10-30 09:43:20 Formal languages Applied mathematics Dependently typed programming Type theory Mathematical logic Rewriting Abstract rewriting system Logic Curry–Howard correspondence Theoretical computer science Logic in computer science Mathematics
509	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.parentingamerica.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software
510	Statistics Using R with Biological Examples Kim Seefeld, MS, M.Ed.* Ernst Linder, Ph.D. Add to Reading List Source URL: cran.nexr.com Language: English - Date: 2007-05-31 10:22:40 Functional languages Scientific method Formal sciences Bioinformatics Data analysis R Markov chain Exploratory data analysis Biostatistics Science Statistics Mathematical software

UPDATE